Liên kết ngoài Lý_thuyết_hình_thái

Liên kết ngoài Lý_thuyết_hình_thái

Tiếng Việt

Bài viết trên SocialLife.
Luận văn về tư tưởng Russel, trang 12 có nhắc tới "lý thuyết hình thái logic".

Tiếng Anh

Robert L. Constable (ed.). "Computational type theory". Scholarpedia.
The TYPES Forum — moderated e-mail forum focusing on type theory in computer science, operating since 1987.
The Nuprl Book: "Introduction to Type Theory."
Types Project lecture notes of summer schools 2005–2008
- The 2005 summer school has introductory lectures

Liên quan

Lý thuyết trò chơi Lý Thái Tổ Lý Thường Kiệt Lý Thuấn Thần Lý Thái Tông Lý thuyết hành vi có kế hoạch Lý thuyết số Lý thuyết chiều văn hóa của Hofstede Lý thuyết điều khiển tự động Lý thuyết sóng Elliott

Tài liệu tham khảo

WikiPedia: Lý_thuyết_hình_thái ftp://ftp.cs.cornell.edu/pub/nuprl/doc/book.ps.gz http://publish.uwo.ca/~jbell/types.pdf http://www.cs.cornell.edu/Info/Projects/NuPrl/book... http://lists.seas.upenn.edu/mailman/listinfo/types... http://www.nuprl.org/documents/Constable/naive.pdf http://www.cs.chalmers.se/Cs/Research/Logic/Types/... http://www.cs.chalmers.se/Cs/Research/Logic/TypesS... http://luanan.nlv.gov.vn/luanan?a=d&d=TTcFfqzMZePK... http://sociallife.vn/?p=3296 https://www.researchgate.net/publication/277287583...